claim
u.hollis.claim.2026-10-27.computed.chunk-verify.fault-report[%h].audit-f1706f1854e9
what it asserts
| kind | computed |
| subject | chunk-verify |
| assertion | fault-report[%h] |
| claimant | b56d164a-9b07-4372-a5d1-e8cee5be9ba2 |
| minted | 2026-10-27T06:35:06Z |
the computation it cites
re-execute by hand: resolve the program and inputs by
hash, POST a run with the same fuel/cap, and compare the result hash and
step count — a step count is an invariant of the calculus, so agreement
is not a coincidence.
provenance
the run row answers to its owner; the run RECORD and
the JOURNAL are published as content-addressed values, so a peer reaches
them by hash without holding the claimant's garden.
verdicts (0)
| verdict | note | record |
| no verdicts — uncorrected (not the same as confirmed) |
raw projection
the citation text
tuna-claim-projection-v1
kind=computed
subject=chunk-verify
assertion=fault-report[%h]
program=66ab5df85da10b77b926f73d52a58d1a1a79f0e8cdbc3b27dc1be93f36d4e6d7
inputs=5277f1c07213b0b44fc32a8fc23fe9e6f372b0e8fbb72b1262e7d0d65a166ce0,773aa1c5316ef000863dc3241f4f3055cd0649e8671e321deef4c4852f2265a2
run-record=9da6261eb0fbc1c1bd61fd37413c01a5592e706e1517e51b6b1110986755c6c9
journal=33dcd03fb268fd8e77c1a7888ee37a866806761f6b461e54bd87956759d13878
fuel=20000000
size_cap=10000000
semantics=v0
result=4a44dc15364204a80fe80e9039455cc1608281820fe2b24f1e5233ade6af1dd5
steps=3132
status=normal
claimant=b56d164a-9b07-4372-a5d1-e8cee5be9ba2
run=282e0844-2985-4bdc-abca-d1f701969d78
minted_at=2026-10-27T06:35:06Z